<html>
<head><meta charset="utf-8"><title>roadmap · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html">roadmap</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="159373209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159373209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159373209">(Feb 25 2019 at 21:22)</a>:</h4>
<p>So I created a <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AYHJSfuXn6f1pU6CcrBPyRw_Ag-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AYHJSfuXn6f1pU6CcrBPyRw_Ag-hk3a9ynduUN2gk1A0NNTF">Dropbox paper document</a> where I sketched out roughly the work I think is to be done</p>



<a name="159373228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159373228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159373228">(Feb 25 2019 at 21:22)</a>:</h4>
<p>it's not 100% complete</p>



<a name="159373258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159373258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159373258">(Feb 25 2019 at 21:23)</a>:</h4>
<p>I am trying to figure out my week but I'd like to maybe schedule some kind of triage meeting to discuss which tasks are good to focus on first</p>



<a name="159680287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159680287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159680287">(Mar 01 2019 at 05:30)</a>:</h4>
<p>Hi! Today I have been back at work again in some real capacity, so I'd love to get that triage meeting up and running. I've been reading everything I can get my hands on, but it's mostly directionless at this point and I feel more than a little lost. Ping <span class="user-mention" data-user-id="116009">@nikomatsakis</span>.</p>



<a name="159728175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159728175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159728175">(Mar 01 2019 at 16:38)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="159728679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159728679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159728679">(Mar 01 2019 at 16:44)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> remind me your time zone? I'll try to get a doodle up and going for us to schedule a regular meeting</p>



<a name="159734261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159734261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159734261">(Mar 01 2019 at 18:03)</a>:</h4>
<p>("us" in that sentence being "Polonius WG")</p>



<a name="159751770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159751770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159751770">(Mar 01 2019 at 21:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> The not at all Boston-incompatible Melbourne time, that is GMT + 11 I think (DST active)</p>



<a name="159751836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159751836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159751836">(Mar 01 2019 at 21:43)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I see =) tell you what, can you create a doodle poll for various timeslots that would work for you over the next few weeks and send the link</p>



<a name="159751840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159751840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159751840">(Mar 01 2019 at 21:43)</a>:</h4>
<p>then the rest of us can fill it out :)</p>



<a name="159751901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159751901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159751901">(Mar 01 2019 at 21:44)</a>:</h4>
<p>(alternatively doodle makes it easy to just create a poll with the same hours every day, so you can just make a broad-based poll and fill it out yourself later)</p>



<a name="159751924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159751924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159751924">(Mar 01 2019 at 21:44)</a>:</h4>
<p>Sure!</p>



<a name="159751928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159751928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159751928">(Mar 01 2019 at 21:44)</a>:</h4>
<p>great =)</p>



<a name="159754128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159754128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159754128">(Mar 01 2019 at 22:14)</a>:</h4>
<p>Ok, here’s a rather high resolution Doodle: <a href="https://doodle.com/poll/it8gbfxazcevgc53" target="_blank" title="https://doodle.com/poll/it8gbfxazcevgc53">https://doodle.com/poll/it8gbfxazcevgc53</a></p>



<a name="159849504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159849504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159849504">(Mar 03 2019 at 14:00)</a>:</h4>
<p>The poll doesn't appear to have a time zone specified</p>



<a name="159861753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159861753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159861753">(Mar 03 2019 at 19:39)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> yeah, we definitively want a time zone specified</p>



<a name="159864486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159864486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159864486">(Mar 03 2019 at 20:56)</a>:</h4>
<p>so all the night slots like 3AM were <em>not</em> because of timezone differences ? <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="159866163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159866163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159866163">(Mar 03 2019 at 21:41)</a>:</h4>
<p>Oh I just assumed it would use my local time zone when I added options, let me see if I can fix that. Also, I don’t think I have any slots 3AM?!</p>



<a name="159866263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159866263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159866263">(Mar 03 2019 at 21:44)</a>:</h4>
<p>Oh right I do, for the part where I manually adjusted for time zones</p>



<a name="159904156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904156">(Mar 04 2019 at 11:09)</a>:</h4>
<p>Ok, here is a new, shorter Doodle in the right time zone (turns out one has to be using the Web client for making it, it seems). I made it a shorter span: <a href="https://doodle.com/poll/586vffqgffydg2qw" target="_blank" title="https://doodle.com/poll/586vffqgffydg2qw">https://doodle.com/poll/586vffqgffydg2qw</a></p>



<a name="159904221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904221">(Mar 04 2019 at 11:10)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> oh, nice, I'll fill it out right now. (Trying to lay out my week plan)</p>



<a name="159904329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904329">(Mar 04 2019 at 11:12)</a>:</h4>
<p>That said, those are 2h blocks?</p>



<a name="159904332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904332">(Mar 04 2019 at 11:12)</a>:</h4>
<p>I doubt I can find that much open space anywhere :P</p>



<a name="159904401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904401">(Mar 04 2019 at 11:13)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> out of curiousity, is there a reason you didn't put any time for tomorrow? (What is my Tuesday,  I <em>think</em> you're Wednesday)</p>



<a name="159904452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904452">(Mar 04 2019 at 11:14)</a>:</h4>
<p>it looks like the overlap for me would be Tuesday / Thu late-afternoon (I think that is Wed / Fri mornings for you)</p>



<a name="159904515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904515">(Mar 04 2019 at 11:15)</a>:</h4>
<p>Oh, there were multiple weeks</p>



<a name="159904605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159904605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159904605">(Mar 04 2019 at 11:16)</a>:</h4>
<p>(Though they still don't include (my) Tuesday)</p>



<a name="159948671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159948671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159948671">(Mar 04 2019 at 20:41)</a>:</h4>
<p>OK, I scheduled a meeting for Thu 16:00-17:00 UTC-05:00</p>



<a name="159948689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159948689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159948689">(Mar 04 2019 at 20:42)</a>:</h4>
<p>I could go a bit longer if needed</p>



<a name="159949122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159949122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159949122">(Mar 04 2019 at 20:46)</a>:</h4>
<p>Great! I used two-hour blocks in order to avoid having a gazillion options, but meant “available at some point during this slot”. Maybe I should have written that somewhere</p>



<a name="159949192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159949192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159949192">(Mar 04 2019 at 20:47)</a>:</h4>
<p>I left out Tuesday because I’m travelling; Friday morning is best for me!</p>



<a name="159949441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159949441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159949441">(Mar 04 2019 at 20:50)</a>:</h4>
<p>Should translate to Thursday evening for me</p>



<a name="159949445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159949445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159949445">(Mar 04 2019 at 20:51)</a>:</h4>
<p>But that’s great</p>



<a name="159949604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159949604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159949604">(Mar 04 2019 at 20:52)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I didn’t see your event in the shared calendar though</p>



<a name="159949637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159949637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159949637">(Mar 04 2019 at 20:53)</a>:</h4>
<p>(By now I’m very time zone paranoid)</p>



<a name="159972297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/159972297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#159972297">(Mar 05 2019 at 03:01)</a>:</h4>
<p>Correction: no you’re right and the time zone calculator I used was wrong; it’s Friday morning for me</p>



<a name="160003688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160003688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160003688">(Mar 05 2019 at 13:45)</a>:</h4>
<p>very good =)</p>



<a name="160003712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160003712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160003712">(Mar 05 2019 at 13:45)</a>:</h4>
<p>I'll <strong>try</strong> to leave some more notes in that paper doc in the meantime</p>



<a name="160024706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160024706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160024706">(Mar 05 2019 at 18:01)</a>:</h4>
<p>oh, I've just voted on the poll but figured that you've already set a time for the meeting, right?</p>



<a name="160024834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160024834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160024834">(Mar 05 2019 at 18:03)</a>:</h4>
<p>Thursday it's impossible for me, it's my daughter's first birthday :)</p>



<a name="160024852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160024852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160024852">(Mar 05 2019 at 18:03)</a>:</h4>
<p>according to the doodle monday same time everyone is able too in case we can change it</p>



<a name="160208506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160208506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160208506">(Mar 07 2019 at 15:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> did we set on having the meeting today? or move to monday?</p>



<a name="160208529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160208529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160208529">(Mar 07 2019 at 15:41)</a>:</h4>
<p>I guess I can watch the video later in case you do it today :)</p>



<a name="160209528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160209528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160209528">(Mar 07 2019 at 15:53)</a>:</h4>
<p>I think we will have it today, but I was expecting a Zulip meeting</p>



<a name="160209578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160209578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160209578">(Mar 07 2019 at 15:54)</a>:</h4>
<p>Though maybe voice would be better</p>



<a name="160209602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160209602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160209602">(Mar 07 2019 at 15:54)</a>:</h4>
<p>I was mostly hoping to focus on setting up some concrete next steps, I didn't really prep for a "teach more about polonius session", although I think there are more of those to do</p>



<a name="160209628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/roadmap/near/160209628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/roadmap.html#160209628">(Mar 07 2019 at 15:54)</a>:</h4>
<p>I want to get <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>'s hands dirty, they are trying to do a masters in this area :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>